Elementarily equivalent structures for topological languages over regions in Euclidean space
نویسنده
چکیده
We prove that the class of rational polyhedra and the class of topologically regular regions definable in an o-minimal structure over the reals are each elementarily equivalent to the class of polyhedra for topological languages.
منابع مشابه
Elementarily Equivalent Domains for Topological Languages over Regions in Euclidean Space
We prove that the class of rational polyhedra and the class of topologically regular regions definable in an o-minimal structure are each elementarily equivalent to the class of polyhedra for topological languages.
متن کاملTOPOLOGICAL CHARACTERIZATION FOR FUZZY REGULAR LANGUAGES
We present a topological characterization for fuzzy regular languages: we show that there is a bijective correspondence between fuzzy regular languages and the set of all clopen fuzzy subsets with finite image in the induced fuzzy topological space of Stone space (Profinite space), and then we give a representation of closed fuzzy subsets in the induced fuzzy topological space via fuzzy regular...
متن کاملThe expressive power of first-order topological languages
We consider the expressive power of the first-order structure 〈Ω, C〉 where Ω is either of two of different domains of extended regions in Euclidean space, and C(x,y) is the topological relation “Region x is in contact with region y.” We prove two main theorems: • Let P[Q] be the domain of bounded, non-empty, rational polyhedra in twoor threedimensional Euclidean space. A relation Γ over P[Q] is...
متن کاملElementary equivalence of lattices of open sets definable in o-minimal expansions of real closed fields
It is well-known that any two real closed fields R and S are elementarily equivalent. We can then consider some simple constructions of new structures out of real closed fields, and try to determine if these constructions, when applied to R and S, give elementarily equivalent structures. We can for instance consider def(R, R), the ring of definable functions from R to R, and we obtain without d...
متن کاملیادداشتی بر دوگانی AdS/CFT
We study duality of field theories in (d+1) dimensional flat Euclidean space and (d+1) dimensional Euclidean AdS space for both scalar the and vector fields. In the case of the scalar theory, the injective map between conformally coupled massless scalars in two spaces is reviewed. It is shown that for vector fields the injective map exists only in four dimensions. Since Euclidean AdS space is e...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- J. Log. Comput.
دوره 23 شماره
صفحات -
تاریخ انتشار 2013